contravariant functor (suomeksi)

Määritelmät:

(lb, en, category theory) A functor which maps a morphism ''f'':''X'' → ''Y'' to a morphism ''F''(''f''):''F''(''Y'') → ''F''(''X''), such that if $h = g \circ f$ , then $F(h) = F(f) \circ F(g)$ .